ROOP, PARTHA: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Model-Driven Design Using IEC 61499 ||

Yoong, Li Hsien, Roop, Partha S., Bhatti, Zeeshan E., Kuo, Matthew M. Y.

Year:

2015

Language:

english

File:

PDF, 8.82 MB

english, 2015

2

[IEEE 2013 IEEE International Conference on Web Services (ICWS) - Santa Clara, CA, USA (2013.06.28-2013.07.3)] 2013 IEEE 20th International Conference on Web Services - Stateful Web Services -- Auto Modeling and Composition

Ali, Syed Adeel, Roop, Partha S., Warren, Ian

Year:

2013

Language:

english

File:

PDF, 1.05 MB

english, 2013

3

[IEEE 2013 13th International Conference on Application of Concurrency to System Design (ACSD) - Barcelona, Spain (2013.07.8-2013.07.10)] 2013 13th International Conference on Application of Concurrency to System Design - Programming and Timing Analysis of Parallel Programs on Multicores

Yip, Eugene, Roop, Partha S., Biglari-Abhari, Morteza, Girault, Alain

Year:

2013

Language:

english

File:

PDF, 389 KB

english, 2013

4

A Predictable Framework for Safety-Critical Embedded Systems

Andalam, Sidharta, Roop, Partha S, Girault, Alain, Traulsen, Claus

Journal:

IEEE Transactions on Computers

Year:

2014

Language:

english

File:

PDF, 1.83 MB

english, 2014

5

[IEEE 2010 8th IEEE International Conference on Industrial Informatics (INDIN) - Osaka, Japan (2010.07.13-2010.07.16)] 2010 8th IEEE International Conference on Industrial Informatics - Reengineering of IEC 61131 into IEC 61499 Function Blocks

Shaw, Gareth D., Roop, Partha S., Salcic, Zoran

Year:

2010

Language:

english

File:

PDF, 349 KB

english, 2010

6

Unified Functional Safety Assessment of Industrial Automation Systems

Bhatti, Zeeshan E., Roop, Partha S., Sinha, Roopak

Journal:

IEEE Transactions on Industrial Informatics

Year:

2016

Language:

english

File:

PDF, 1.48 MB

english, 2016

7

[IEEE 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC) - Lyon, France (2016.9.21-2016.9.23)] 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSOC) - The ForeC Synchronous Deterministic Parallel Programming Language for Multicores

Yip, Eugene, Girault, Alain, Roop, Partha S., Biglari-Abhari, Morteza

Year:

2016

Language:

english

File:

PDF, 202 KB

english, 2016

8

[ACM Press the 17th ACM-IEEE International Conference - La Jolla, California (2019.10.09-2019.10.11)] Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '19 - Securing implantable medical devices with runtime enforcement hardware

Pearce, Hammond, Kuo, Matthew M. Y., Roop, Partha S., Pinisetty, Srinivas

Year:

2019

Language:

english

File:

PDF, 370 KB

english, 2019

9

Adaptive Verification using Forced Simulation

Roopak Sinha, Partha S. Roop, Bakhadyr Khoussainov

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 442 KB

english, 2005

10

Local Module Checking for CTL Specifications

Samik Basu, Partha S Roop, Roopak Sinha

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 365 KB

english, 2007

11

HiDRA—A reactive multiprocessor architecture for heterogeneous embedded systems

Zoran Salcic, Dong Hui, Partha S. Roop, Morteza Biglari-Abhari

Journal:

Microprocessors and Microsystems

Year:

2006

Language:

english

File:

PDF, 190 KB

english, 2006

12

SystemJ: A GALS language for system level design

Avinash Malik, Zoran Salcic, Partha S. Roop, Alain Girault

Journal:

Computer Languages, Systems & Structures

Year:

2010

Language:

english

File:

PDF, 872 KB

english, 2010

13

STARPro — A new multithreaded direct execution platform for Esterel

Simon Yuan, Sidharta Andalam, Li Hsien Yoong, Partha S. Roop, Zoran Salcic

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 410 KB

english, 2009

14

A Model Checking Approach to Protocol Conversion

Roopak Sinha, Partha S. Roop, Samik Basu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 328 KB

english, 2008

15

Precise specification matching for adaptive reuse in embedded systems

Hai-Feng Guo, Miao Liu, Partha S. Roop, C.R. Ramakrishnan, I.V. Ramakrishnan

Journal:

Journal of Applied Logic

Year:

2007

Language:

english

File:

PDF, 436 KB

english, 2007

16

REFLIX: a processor core with native support for control-dominated embedded applications

Zoran Salcic, Partha Roop, Morteza Biglari-Abhari, Abbas Bigdeli

Journal:

Microprocessors and Microsystems

Year:

2004

Language:

english

File:

PDF, 337 KB

english, 2004

17

An overview of MICKEY: A knowledge-based hardware-software codesign framework for microprocessor-based systems

Raj S Mitra, Partha S Roop, Anupam Basu

Journal:

Year:

1996

Language:

english

File:

PDF, 1.13 MB

english, 1996

18

[IEEE 21st International Conference on VLSI Design (VLSID 2008) - Hyderabad, India (2008.01.4-2008.01.8)] 21st International Conference on VLSI Design (VLSID 2008) - A Module Checking Based Converter Synthesis Approach for SoCs

Sinha, Roopak, Roop, Partha S., Basu, Samik

Year:

2008

Language:

english

File:

PDF, 1.43 MB

english, 2008

19

[IEEE 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign - Nice, France (2007.05.30-2007.06.2)] 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) - McCharts and Multiclock FSMs for modeling large scale systems

Radojevic, Ivan, Salcic, Zoran, Roop, Partha

Year:

2007

Language:

english

File:

PDF, 261 KB

english, 2007

20

[IEEE 2013 13th International Conference on Application of Concurrency to System Design (ACSD) - Barcelona, Spain (2013.07.8-2013.07.10)] 2013 13th International Conference on Application of Concurrency to System Design - Precision Timed Embedded Systems Using TickPAD Memory

Kuo, Matthew, Roop, Partha, Andalam, Sidharta, Patel, Nitish

Year:

2013

Language:

english

File:

PDF, 731 KB

english, 2013

21

[IEEE 2011 14th Euromicro Conference on Digital System Design (DSD) - Oulu, Finland (2011.08.31-2011.09.2)] 2011 14th Euromicro Conference on Digital System Design - Compiling Esterel for Multi-core Execution

Yuan, Simon, Yoong, Li Hsien, Roop, Partha S.

Year:

2011

Language:

english

File:

PDF, 463 KB

english, 2011

22

[IEEE Factory Automation (ETFA 2009) - Palma de Mallorca, Spain (2009.09.22-2009.09.25)] 2009 IEEE Conference on Emerging Technologies & Factory Automation - A hierarchical and concurrent approach for IEC 61499 function blocks

Shaw, Gareth D., Roop, Partha S., Salcic, Zoran

Year:

2009

Language:

english

File:

PDF, 440 KB

english, 2009

23

[IEEE 2007 5th IEEE International Conference on Industrial Informatics - Vienna, Austria (2007.06.23-2007.06.27)] 2007 5th IEEE International Conference on Industrial Informatics - Synchronous Execution of IEC 61499 Function Blocks Using Esterel

Li Hsien Yoong,, Roop, Partha, Vyatkin, Valeriy, Salcic, Zoran

Year:

2007

Language:

english

File:

PDF, 811 KB

english, 2007

24

[IEEE 2009 IEEE International Conference on Industrial Technology - (ICIT) - Churchill, Victoria, Australia (2009.02.10-2009.02.13)] 2009 IEEE International Conference on Industrial Technology - Efficient implementation of IEC 61499 function blocks

Li Hsien Yoong,, Roop, Partha S., Salcic, Zoran

Year:

2009

Language:

english

File:

PDF, 329 KB

english, 2009

25

[IEEE 2011 IEEE 6th International Workshop on Electronic Design, Test and Application (DELTA) - Queenstown, New Zealand (2011.01.17-2011.01.19)] 2011 Sixth IEEE International Symposium on Electronic Design, Test and Application - Environment Modelling for Tighter Timing Analysis of Synchronous Programs

Andalam, Sidharta, Sinha, Roopak, Roop, Partha S.

Year:

2011

Language:

english

File:

PDF, 491 KB

english, 2011

26

[IEEE 2009 Ninth International Conference on Application of Concurrency to System Design (ACSD) - Augsburg, Germany (2009.07.1-2009.07.3)] 2009 Ninth International Conference on Application of Concurrency to System Design - Specification Enforcing Refinement for Convertibility Verification

Roop, Partha, Girault, Alain, Sinha, Roopak, Goessler, Gregor

Year:

2009

Language:

english

File:

PDF, 298 KB

english, 2009

27

[IEEE 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Grenoble, France (2010.07.26-2010.07.28)] Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Predictable multithreading of embedded applications using PRET-C

Andalam, Sidharta, Roop, Partha, Girault, Alain

Year:

2010

Language:

english

File:

PDF, 494 KB

english, 2010

28

Design of Distributed Heterogeneous Embedded Systems in DDFCharts

Radojevic, Ivan, Salcic, Zoran, Roop, Partha

Journal:

IEEE Transactions on Parallel and Distributed Systems

Year:

2011

Language:

english

File:

PDF, 2.31 MB

english, 2011

29

[IEEE 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Dresden (2010.03.8-2010.03.12)] 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Deterministic, predictable and light-weight multithreading using PRET-C

Andalam, Sidharta, Roop, Partha S, Girault, Alain

Year:

2010

Language:

english

File:

PDF, 183 KB

english, 2010

30

[IEEE 2011 9th IEEE International Conference on Industrial Informatics (INDIN) - Lisbon, Portugal (2011.07.26-2011.07.29)] 2011 9th IEEE International Conference on Industrial Informatics - Observer based verification of IEC 61499 function blocks

Bhatti, Zeeshan E., Sinha, Roopak, Roop, Partha S.

Year:

2011

Language:

english

File:

PDF, 1.05 MB

english, 2011

31

[IEEE 2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES) - Montreal, QC, Canada (2013.09.29-2013.10.4)] 2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES) - ILPc: A novel approach for scalable timing analysis of synchronous programs

Wang, Jia Jie, Roop, Partha S., Andalam, Sidharta

Year:

2013

Language:

english

File:

PDF, 2.95 MB

english, 2013

32

[IEEE 2008 13th Asia-Pacific Computer Systems Architecture Conference (ACSAC) - Hsinchu (2008.08.4-2008.08.6)] 2008 13th Asia-Pacific Computer Systems Architecture Conference - Tandem virtual machine — An efficient execution platform for GALS language SystemJ

Malik, Avinash, Salcic, Zoran, Roop, Partha S.

Year:

2008

Language:

english

File:

PDF, 602 KB

english, 2008

33

[IEEE 2010 8th IEEE International Conference on Industrial Informatics (INDIN) - Osaka, Japan (2010.07.13-2010.07.16)] 2010 8th IEEE International Conference on Industrial Informatics - Determining the worst-case reaction time of IEC 61499 function blocks

Kuo, Matthew M Y, Yoong, Li Hsien, Andalam, Sidharta, Roop, Partha S

Year:

2010

Language:

english

File:

PDF, 880 KB

english, 2010

34

[IEEE 2014 IEEE Emerging Technology and Factory Automation (ETFA) - Barcelona, Spain (2014.9.16-2014.9.19)] Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA) - A model-driven approach with synchronous semantics for developing hard real-time WSNs

Ro, Jin Woo, Bhatti, Zeeshan E., Roop, Partha S.

Year:

2014

Language:

english

File:

PDF, 1.72 MB

english, 2014

35

[ACM Press the 2005 conference - Shanghai, China (2005.01.18-2005.01.21)] Proceedings of the 2005 conference on Asia South Pacific design automation - ASP-DAC '05 - REMIC

Salcic, Zoran, Hui, Dong, Roop, Partha, Biglari-Abhari, Morteza

Year:

2005

Language:

english

File:

PDF, 370 KB

english, 2005

36

Forced simulation: A technique for automating component reuse in embedded systems

Roop, Partha S., Sowmya, A., Ramesh, S.

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2001

Language:

english

File:

PDF, 277 KB

english, 2001

37

[ACM Press the 50th Annual Design Automation Conference - Austin, Texas (2013.05.29-2013.06.07)] Proceedings of the 50th Annual Design Automation Conference on - DAC '13 - Precise timing analysis for direct-mapped caches

Andalam, Sidharta, Girault, Alain, Sinha, Roopak, Roop, Partha, Reineke, Jan

Year:

2013

Language:

english

File:

PDF, 634 KB

english, 2013

38

A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design

Sinha, Roopak, Girault, Alain, Goessler, Gregor, Roop, Partha S.

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2014

Language:

english

File:

PDF, 5.33 MB

english, 2014

39

Sequentially Constructive Concurrency—A Conservative Extension of the Synchronous Model of Computation

Hanxleden, Reinhard Von, Mendler, Michael, Aguado, Joaquín, Duderstadt, Björn, Fuhrmann, Insa, Motika, Christian, Mercer, Stephen, O'brien, Owen, Roop, Partha

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2014

Language:

english

File:

PDF, 2.40 MB

english, 2014

40

SystemJ compilation using the tandem virtual machine approach

Malik, Avinash, Salcic, Zoran, Roop, Partha S.

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2009

Language:

english

File:

PDF, 658 KB

english, 2009

41

[ACM Press the 48th Design Automation Conference - San Diego, California (2011.06.05-2011.06.10)] Proceedings of the 48th Design Automation Conference on - DAC '11 - Efficient WCRT analysis of synchronous programs using reachability

Kuo, Matthew, Sinha, Roopak, Roop, Partha

Year:

2011

Language:

english

File:

PDF, 1.19 MB

english, 2011

42

[ACM Press the fourth ACM international conference - Pisa, Italy (2004.09.27-2004.09.29)] Proceedings of the fourth ACM international conference on Embedded software - EMSOFT '04 - Towards direct execution of esterel programs on reactive processors

Roop, Partha S., Salcic, Zoran, Dayaratne, M.W. Sajeewa

Year:

2004

Language:

english

File:

PDF, 263 KB

english, 2004

43

Implementing constrained cyber-physical systems with IEC 61499

Yoong, Li Hsien, Roop, Partha S., Salcic, Zoran

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2012

Language:

english

File:

PDF, 694 KB

english, 2012

44

[ACM Press the 2001 conference - Yokohama, Japan (2001..-..)] Proceedings of the 2001 conference on Asia South Pacific design automation - ASP-DAC '01 - A formal approach to component based development of synchronous programs

Roop, Partha S., Sowmya, A., Ramesh, S.

Year:

2001

Language:

english

File:

PDF, 206 KB

english, 2001

45

[IEEE 2014 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - Berlin, Germany (2014.4.15-2014.4.17)] 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS) - Relaxing the synchronous approach for mixed-criticality systems

Yip, Eugene, Kuo, Matthew M Y, Roop, Partha S, Broman, David

Year:

2014

Language:

english

File:

PDF, 1.99 MB

english, 2014

46

[IEEE 2015 IEEE 18th International Symposium on Real-Time Distributed Computing (ISORC) - Auckland, New Zealand (2015.4.13-2015.4.17)] 2015 IEEE 18th International Symposium on Real-Time Distributed Computing - Fairness-Based Measures for Safety-Critical Vehicular Ad-Hoc Networks

Hikmet, Mahmood, Roop, Partha, Ranjitkar, Prakash

Year:

2015

Language:

english

File:

PDF, 320 KB

english, 2015

47

Hierarchical and Concurrent ECCs for IEC 61499 Function Blocks

Sinha, Roopak, Roop, Partha, Shaw, Gareth, Salcic, Zoran, Kuo, Matthew

Journal:

IEEE Transactions on Industrial Informatics

Year:

2015

Language:

english

File:

PDF, 1.21 MB

english, 2015

48

Synthesizing Globally Asynchronous Locally Synchronous Systems With IEC 61499

Yoong, Li Hsien, Shaw, Gareth Darcy, Roop, Partha S, Salcic, Zoran

Journal:

IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews)

Year:

2012

Language:

english

File:

PDF, 927 KB

english, 2012

49

[IEEE 2015 IEEE 18th International Symposium on Real-Time Distributed Computing (ISORC) - Auckland, New Zealand (2015.4.13-2015.4.17)] 2015 IEEE 18th International Symposium on Real-Time Distributed Computing - Synthesizing Multirate Programs from IEC 61499

Yoong, Li Hsien, Roop, Partha S.

Year:

2015

Language:

english

File:

PDF, 329 KB

english, 2015

50

SoC Design Approach Using Convertibility Verification

Sinha, Roopak, Roop, ParthaS, Basu, Samik

Journal:

EURASIP Journal on Embedded Systems

Year:

2007

Language:

english

File:

PDF, 585 KB

english, 2007

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски